TSTP Solution File: ANA117^1 by Mace4---1109a